%& C:\Users\WOLFG_~1\AppData\Roaming\TikzEdt\TikzEdt\023~1.0\TEMP_H~1
\begin{document}
{\footnotesize
\begin{tikzpicture}[->,scale=1,label distance=-3mm]
	    \tikzstyle{every node}=[draw,shape=ellipse,minimum size=5mm];
	    \tikzstyle{every path} = [draw];
        \node (a) at (-7.5,3) {$A$};
        \node (b) at (-9,1) {$B$};
        \node (er) at (-10,2) {$\exists R$};
        \node (re) at (-7.5,1) {$\exists R^-$};
        \node (eq) at (-6,2) {$\exists Q$};
        \node (qe) at (-9,3) {$\exists Q^-$};

        \tikzstyle{every node} = [];
        \draw (b) to node [] {} (er);
         \draw (b) to node [above] {$*$} (re);
         \draw (a) to node [] {} (qe);
         \draw (qe) to node [] {} (er);
         
         \tikzstyle{every path} = [draw,color=red];
         \draw (re) to node [] {} (a);
         \draw (a) to node [above] {$*$} (eq);
         \draw (eq) to node [] {} (re);

\usetikzlibrary{calc}
\pgftransformreset
\node[inner sep=0pt,outer sep=0pt,minimum size=0pt,line width=0pt,text width=0pt,text height=0pt] at (current bounding box) {};
%add border to avoid cropping by pdflibnet
\foreach \border in {0.1}
  \useasboundingbox (current bounding box.south west)+(-\border,-\border) rectangle (current bounding box.north east)+(\border,\border);
\newwrite\metadatafile
\immediate\openout\metadatafile=\jobname_BB.txt
\path
  let
    \p1=(current bounding box.south west),
    \p2=(current bounding box.north east)
  in
  node[inner sep=0pt,outer sep=0pt,minimum size=0pt,line width=0pt,text width=0pt,text height=0pt,draw=white] at (current bounding box) {
\immediate\write\metadatafile{\p1,\p2}
};
\immediate\closeout\metadatafile
\end{tikzpicture}
}

\end{document}
ent}

\end{document}


\end{document}

t\metadatafile
\end{tikzpicture}
}

\end{document}







ment}
cument}
ment}


\end{document}
ment}
nd{document}




















r sep=0pt,outer sep=0pt,minimum size=0pt,line width=0pt,text width=0pt,text height=0pt,draw=white] at (current bounding box) {
\immediate\write\metadatafile{\p1,\p2}
};
\immediate\closeout\metadatafile
\end{tikzpicture}
}

\end{document}
